Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
791	Microsoft Word[removed]manuscript.doc Add to Reading List Source URL: iasl.iis.sinica.edu.tw Language: English - Date: 2009-11-10 23:01:11 Hypertension Gene Function Blood pressure Type–token distinction Biology Mathematics Genetics
792	Recent Work in Homotopy Type Theory Steve Awodey Carnegie Mellon University AMS Baltimore January 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Abstract algebra Homotopy type theory Groupoid Homotopy Lambda calculus Path Fundamental group Function Hurewicz theorem Homotopy theory Topology Mathematics
793	J. Math. Anal. Appl[removed]–204 www.elsevier.com/locate/jmaa An existence result for gradient-type systems with a nondifferentiable term on unbounded strips Alexandru Kristály Add to Reading List Source URL: adatbank.transindex.ro Language: English - Date: 2010-02-16 17:34:17 Fourier analysis Fractional calculus Sobolev inequality Constructible universe Continuous function Congruence lattice problem Hölder condition Mathematical analysis Mathematics Sobolev spaces
794	Overview Features Concurrent Programming Add to Reading List Source URL: www.daovm.net Language: English - Date: 2013-09-26 11:41:22 Procedural programming languages Cross-platform software Scripting languages Go ALGOL 68 Anonymous function D Type inference C Software engineering Computing Computer programming
795	Foundations of mathematics Sylvain Poirier http://settheory.net/ 1. First foundations of mathematics 1.1. Introduction to the foundation of mathematics Add to Reading List Source URL: settheory.net Language: English - Date: 2014-06-17 08:06:26 Predicate logic Model theory Metalogic Semantics Interpretation First-order logic Function Type theory Quantification Logic Mathematical logic Mathematics
796	Introduction The LFO2430 is a “basic”, voltage controlled low frequency oscillator (LFO). This type of module is great for adding low frequency modulation to any VC controlled module. For instance, vibrato when used Add to Reading List Source URL: www.blacet.com Language: English - Date: 2013-10-05 13:00:09 Square wave Electronic test equipment Buchla 200e Function generator Electronic music Low-frequency oscillation Waveform
797	Naturalness and Arbitrariness∗ Theodore Sider Philosophical Studies[removed]): 283–301 Peter Forrest and D.M. Armstrong have given an argument against a theory Add to Reading List Source URL: tedsider.org Language: English - Date: 2008-02-24 13:59:40 Abstraction Ontology Type theory Predicate logic Function Ordered pair Finitary relation Equivalence relation Binary relation Mathematics Mathematical logic Order theory
798	A HELLY-TYPE THEOREM FOR SEMI-MONOTONE SETS AND MONOTONE MAPS SAUGATA BASU, ANDREI GABRIELOV, AND NICOLAI VOROBJOV Abstract. We consider sets and maps defined over an o-minimal structure over the reals, such as real semi Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2012-02-06 10:58:55 Monotonic function Convex function Continuous function Mathematical analysis Mathematics Order theory
799	Higher-Order Processes, Functions, and Sessions: A Monadic Integration Bernardo Toninho1,2 , Luis Caires2 , and Frank Pfenning1 1 2 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:13:21 Type theory Logic in computer science Proof theory Functions and mappings Deduction Curry–Howard correspondence Monad Function Π-calculus Logic Mathematics Mathematical logic
800	Probab. Theory Relat. Fields[removed]:189–222 DOI[removed]s00440[removed]Macroscopic limits for stochastic partial differential equations of McKean–Vlasov type Peter M. Kotelenez · Thomas G. Kurtz Add to Reading List Source URL: www.math.wisc.edu Language: English - Date: 2010-02-12 12:32:02 Stochastic processes Measure theory Normal distribution Wiener process Brownian motion Heat equation Continuous function Support Statistics Mathematical analysis Probability and statistics

UPDATE